type theory-based method
类型理论为基的方法
热门查询
- contraception n. 避孕
- pent n. 单斜顶棚 v. 把…关于围栏；把…关起来；囚禁（pen的过去分词） adj. 被关闭的；郁积的
- higher education n. （尤指达到学位水平的）高等教育 [网络] 高等教育学；高等教育课程；高教
- preconceived adj. 预想的；（思想或观点）事先形成的 v. 预想（preconceive的过去式和过去分词）
- sleeping n. 睡眠 adj. 睡着的
- billie n. 比利（女子名）
- louse n. 虱子；寄生虫；卑鄙的家伙 vt. 搞糟；清除（虱子）
- misericord n. （中古战场上为使受伤的敌人免受痛苦而给以致命一击所使用的）短剑，凳下方的横木，免戒室
- Wooler n. 毛用动物
- lugworm n. 沙躅，海蚯蚓（可用作钓鱼诱饵）
- marking n. 标志；打分；做记号；斑纹 v. 注意；作记号于；给…打分数（mark的ing形式） n. (Marking)人名；(西)马金
- grenadine n. [纺] 紧捻纱罗织物（丝织成的薄布料）；石榴汁糖浆；石榴汁红；一种烤肉卷 adj. 石榴汁红的
- frontier n. 前沿；边界；国境 adj. 边界的；开拓的 n. (Frontier)人名；(法)弗龙捷
- stepping n. 步进；改变；分级；通过透镜天线后波前的取平 v. 踏；以步测量（step的ing形式）
- xenophobe n. 仇外；害怕生人者；畏惧和憎恨外国人的人
- cater vt. 投合，迎合；满足需要；提供饮食及服务 n. (Cater)人名；(英)凯特
- accountability n. 有义务；有责任；可说明性
- prudish adj. 装正经的；过分规矩的
- boucle n. 毛圈花式线；仿羔皮呢，珠皮呢 n. (Boucle)人名；(法)布克勒
- kew n. 裘园（伦敦市郊著名植物园）
考试词汇表
- next-node routing table
- ni-Cr-W stainless steel
- niagassola (nyagassola)
- nichrome heater inflort
- nichrome heating spiral
- nick point(knick-point)
- nick translation method
- nick-translation method
- nickel (electro)plating
- nickel alkaline battery
- nickel alloy chill roll
- nickel alloy grain roll
- nickel alumina catalyst
- nickel aluminum coating
- nickel ammonium sulfate
- nickel benzoylacetonate
- nickel cemented carbide
- nickel clad steel plate
- nickel compounds device
- nickel dimethylglyoxime
